#include <stdio.h>

int main(int argc, char *argv[])
{
	int min,max,m,n=0;
	
	while (n==0)
		{
			scanf("%d%d",&min,&max);
		
			if(min==0&&max==0)break;
		
			else if(1000<=min&&max<=9999)
				{
					int i=0;
					m=min;
					while(min<=m&&m<=max)
						{
							if(m%10!=m/10%10&&m/10%10!=m/100%10&&m/100%10!=m/1000%10&&m%10!=m/100%10&&m%10!=m/1000%10&&m/10%10!=m/1000%10&&m%2==0)
								{
									printf("%d  ",m);
									i++;
								}
							m++;
						}
					printf("\ncounter=%d\n",i);
				}
			else printf("Error\n");
		};
	return 0;
}
	